clause1:-body1.
[3].
